Decision Problems for Linear Recurrence Sequences Jo¨el Ouaknine and James Worrell Department of Computer Science, Oxford University, UK {joel,jbw}@cs.ox.ac.uk

Source URL: www.cs.ox.ac.uk

Systematic Biology Advance Access published March 5, 2012 c The Author(sPublished by Oxford University Press, on behalf of the Society of Systematic Biologists. All rights reserved. For Permissions, please email

Source URL: www.science.smith.edu

On the Complexity of Path Checking in Temporal Logics Daniel Bundala Joël Ouaknine Department of Computer Science University of Oxford

Source URL: highlights-conference.org

WEISMaxwell Dworkin (MD) 33 Oxford St Northwest Science (NW) 52 Oxford St

Source URL: weis2010.econinfosec.org

Oxford Academic Health Science Network Annual Report

Source URL: www.oxfordahsn.org

Macronutrient Cycles Start-Up Oxford 19th September 2012 http:// www.nerc-bess.net/ We use and manage landscapes under uncertainty

Source URL: macronutrient-cycles.ouce.ox.ac.uk

• Biology
• Science
• Ecological restoration
• Ecosystem services
• Ecosystem
• Biodiversity
• Natural capital
• Systems ecology
• Environmental economics
• Environment

Book Reviews 1 Critical Scientific Realism, by Ilkka Niiniluoto. Oxford: Oxford University Press, 1999. Pp. xi + 341. H/b £Right from the outset, Critical Scientific Realism distinguishes ‘the critical

Source URL: users.uoa.gr

• Philosophy of science
• Realism
• Political philosophy
• Veracity
• Ontology
• Epistemology
• Philosophical realism
• Scientific realism
• Objectivity
• Philosophy
• Metaphysics
• Science

INSTRUCTIONS FOR PRODUCING A CAMERA-READY MANUSCRIPT A.B. AUTHOR Department of Physics, Theoretical Physics, 1 Keble Road, Oxford OX1 3NP, England This is where the abstract should be placed. It should consist of one pa

Source URL: moriond.in2p3.fr

• Dependently typed programming
• Philosophy of computer science
• Type theory
• Proof theory
• Ordinal numbers
• Curry–Howard correspondence

SAM ASHER Contact Department of Economics, University of Oxford, Oxford OX1 3UQ, UK ; (UK) +http://www.nuffield.ox.ac.uk/users/asher Current Position

Source URL: www.nuffield.ox.ac.uk

• Nuffield College
• Oxford
• Institute for Quantitative Social Science
• Development economics
• Center for International Development at Harvard University
• Ivy League
• Massachusetts
• Harvard University
• Sendhil Mullainathan
• Tamil people

bs_bs_banner © 2013 The Authors Metaphilosophy © 2013 Metaphilosophy LLC and Blackwell Publishing Ltd Published by Blackwell Publishing Ltd, 9600 Garsington Road, Oxford OX4 2DQ, UK, and 350 Main Street, Malden, MA 02

Source URL: andreas.com

• Artificial intelligence
• Social philosophy
• Economic theories
• Behavioral finance
• Information cascade
• Metaphilosophy
• Rational agent
• Cascade
• Action theory
• Philosophy
• Science
• Knowledge